21. Software verification and validation. an engineering and scientific approach
پدیدآورنده : Fisher, Marcus S.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer software- Validation,، Computer software- Verification
رده :
QA
76
.
76
.
V47
F57
2007
22. Software verification and validation for practitioners and managers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification. ; Computer software ; Validation. ;
23. Software verification and validation for practitioners and managers
پدیدآورنده : Rakitin, Steven R.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Verification ، Computer software,Validation ، Computer software
رده :
QA
76
.
76
.
V47
R35
2001
24. Software verification and validation plans.
پدیدآورنده :
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع :
رده :
K2628
25. Software verification and validation : realistic project approaches
پدیدآورنده : Deutsch, Michael S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computer software -- Verification,، Computer software -- Validation
رده :
QA
76
.
6
.
D48
26. Software verification & validation:realistic project approaches
پدیدآورنده : DEUTSCH,MICHAEL S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : COMPUTER SOFTWARE-VERIFICATION , COMPUTER SOFTWARE-VALIDATION
رده :
QA
76
.
76
.
V47
D48
27. The economics of software quality
پدیدآورنده : Jones, Capers.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Quality control Economic aspects ، Computer software,Economic aspects ، Software maintenance,Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
76
.
Q35
J674
2012
28. The software audit guide
پدیدآورنده : Helgeson, John W.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
754
.
H65
2010
29. Validation in chemical measurement
پدیدآورنده : / Paul. De Bievre, Helmut Gunzler (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Chemistry, Analytic , Quality control,Measurement,Chemical laboratories , Accreditation,Electronic books. , local
رده :
E-BOOK
30. Verification and validation for quality of UML 2.0 models
پدیدآورنده : Unhelkar, Bhuvan
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(
31. Verification and validation for quality of UML 2.0 models
پدیدآورنده : / Bhuvan Unhelkar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer software- Verification,Computer software- Quality control,UML (Computer science)
رده :
QA76
.
76
.
V47
,
U53
2005
32. Verification and validation for quality of UML 2.0 models
پدیدآورنده : Unhelkar, Bhuvan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(
رده :
QA
76
.
76
.
V47
U53
33. Verification and validation for quality of UML 2.0 models [electronic resource]
پدیدآورنده : / Bhuvan Unhelkar
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Computer software--Verification,Computer software--Quality control,UML (Computer science)
رده :
EB
,
QA76
.
76
.
V47U53
2005
34. Verification and validation in systems engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Systems engineering. ; Expert systems (Computer science) ; Verification. ; Expert systems (Computer science) ; Validation. ; UML (Computer science) ; SysML (Computer science) ; Systementwicklung ; swd. ; UML ; swd. ; SysML ; swd. ; Software Engineering ;
35. Verification and validation in systems engineering : assessing UML/SysML design models
پدیدآورنده : Mourad Debbabi ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Systems engineering,Verification ، Expert systems )Computer science(,Validation ، Expert systems )Computer science(,، UML )Computer science(,، SysML )Computer science(
رده :
QA
76
.
76
.
E95
V47
2010
36. Verification and validation of real - time software
پدیدآورنده : Edited by W.J. Quirk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Real-time data processing,Verification ، Computer software,Validation ، Computer software
رده :
QA
76
.
54
.
V47
1985
37. Verification and validation of rule-based expert systems]CD[
پدیدآورنده : Smith, Suzanne,Suzanne Smith, Abraham Kandel
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software
رده :
CD
1748-83
38. Verification and validation of rule-based expert systems
پدیدآورنده : / Suzanne Smith, Abraham Kandel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Expert systems (Computer science),Computer software- Verification,Computer software- Validation
رده :
QA76
.
76
.
E95
,
S66
1993
39. Verification, validation and testing in software engineering
پدیدآورنده : Aristides Dasso, Ana Funes ]editors[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Validation ، Computer software,Verification ، Computer software,Testing ، Computer software
رده :
QA
76
.
76
.
V47
V488
2007
40. Verification, validation and testing in software engineering
پدیدآورنده : Aristides Dasso, Ana Funes [editors]
کتابخانه: کتابخانه دانشکده کارآفرینی دانشگاه تهران (تهران)
موضوع : Computer software -- Validation,Computer software -- Verification,Computer software -- Testing
رده :
QA
76
.
76
.
V47
V48
2007